p-group, metabelian, nilpotent (class 2), monomial
Aliases: C23.22M4(2), (C2×D4)⋊7C8, (C2×C8)⋊35D4, C23⋊2(C2×C8), (C23×C8)⋊1C2, C2.11(C8×D4), C2.5(C8⋊9D4), C24.56(C2×C4), C22.99(C4×D4), C4.121C22≀C2, C22⋊1(C22⋊C8), (C22×D4).29C4, (C22×C4).549D4, C4.185(C4⋊D4), C22.30(C8○D4), (C22×C8).29C22, C22.40(C22×C8), (C23×C4).20C22, C23.269(C22×C4), (C2×C42).273C22, C22.7C42⋊7C2, C22.51(C2×M4(2)), C23.117(C22⋊C4), (C22×C4).1629C23, C2.4(C23.23D4), C4.134(C22.D4), (C2×C4)⋊3(C2×C8), (C2×C4×D4).19C2, (C2×C4⋊C4).54C4, (C2×C22⋊C8)⋊13C2, C2.19(C2×C22⋊C8), (C2×C4).1528(C2×D4), (C2×C22⋊C4).29C4, (C2×C4).935(C4○D4), (C22×C4).118(C2×C4), (C2×C4).189(C22⋊C4), C2.3((C22×C8)⋊C2), C22.126(C2×C22⋊C4), SmallGroup(128,601)
Series: Derived ►Chief ►Lower central ►Upper central ►Jennings
Generators and relations for C23.22M4(2)
G = < a,b,c,d,e | a2=b2=c2=d8=e2=1, ab=ba, dad-1=eae=ac=ca, bc=cb, bd=db, be=eb, cd=dc, ce=ec, ede=bd5 >
Subgroups: 380 in 216 conjugacy classes, 80 normal (30 characteristic)
C1, C2, C2, C2, C4, C4, C4, C22, C22, C22, C8, C2×C4, C2×C4, C2×C4, D4, C23, C23, C23, C42, C22⋊C4, C4⋊C4, C2×C8, C2×C8, C22×C4, C22×C4, C22×C4, C2×D4, C2×D4, C24, C22⋊C8, C2×C42, C2×C22⋊C4, C2×C4⋊C4, C4×D4, C22×C8, C22×C8, C23×C4, C22×D4, C22.7C42, C2×C22⋊C8, C2×C22⋊C8, C2×C4×D4, C23×C8, C23.22M4(2)
Quotients: C1, C2, C4, C22, C8, C2×C4, D4, C23, C22⋊C4, C2×C8, M4(2), C22×C4, C2×D4, C4○D4, C22⋊C8, C2×C22⋊C4, C4×D4, C22≀C2, C4⋊D4, C22.D4, C22×C8, C2×M4(2), C8○D4, C23.23D4, C2×C22⋊C8, (C22×C8)⋊C2, C8×D4, C8⋊9D4, C23.22M4(2)
►On 64 points
(1 59)(2 47)(3 61)(4 41)(5 63)(6 43)(7 57)(8 45)(9 34)(10 22)(11 36)(12 24)(13 38)(14 18)(15 40)(16 20)(17 30)(19 32)(21 26)(23 28)(25 33)(27 35)(29 37)(31 39)(42 55)(44 49)(46 51)(48 53)(50 58)(52 60)(54 62)(56 64)
(1 9)(2 10)(3 11)(4 12)(5 13)(6 14)(7 15)(8 16)(17 42)(18 43)(19 44)(20 45)(21 46)(22 47)(23 48)(24 41)(25 50)(26 51)(27 52)(28 53)(29 54)(30 55)(31 56)(32 49)(33 58)(34 59)(35 60)(36 61)(37 62)(38 63)(39 64)(40 57)
(1 51)(2 52)(3 53)(4 54)(5 55)(6 56)(7 49)(8 50)(9 26)(10 27)(11 28)(12 29)(13 30)(14 31)(15 32)(16 25)(17 38)(18 39)(19 40)(20 33)(21 34)(22 35)(23 36)(24 37)(41 62)(42 63)(43 64)(44 57)(45 58)(46 59)(47 60)(48 61)
(1 2 3 4 5 6 7 8)(9 10 11 12 13 14 15 16)(17 18 19 20 21 22 23 24)(25 26 27 28 29 30 31 32)(33 34 35 36 37 38 39 40)(41 42 43 44 45 46 47 48)(49 50 51 52 53 54 55 56)(57 58 59 60 61 62 63 64)
(1 13)(3 15)(5 9)(7 11)(17 59)(18 39)(19 61)(20 33)(21 63)(22 35)(23 57)(24 37)(26 55)(28 49)(30 51)(32 53)(34 42)(36 44)(38 46)(40 48)(41 62)(43 64)(45 58)(47 60)
G:=sub<Sym(64)| (1,59)(2,47)(3,61)(4,41)(5,63)(6,43)(7,57)(8,45)(9,34)(10,22)(11,36)(12,24)(13,38)(14,18)(15,40)(16,20)(17,30)(19,32)(21,26)(23,28)(25,33)(27,35)(29,37)(31,39)(42,55)(44,49)(46,51)(48,53)(50,58)(52,60)(54,62)(56,64), (1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16)(17,42)(18,43)(19,44)(20,45)(21,46)(22,47)(23,48)(24,41)(25,50)(26,51)(27,52)(28,53)(29,54)(30,55)(31,56)(32,49)(33,58)(34,59)(35,60)(36,61)(37,62)(38,63)(39,64)(40,57), (1,51)(2,52)(3,53)(4,54)(5,55)(6,56)(7,49)(8,50)(9,26)(10,27)(11,28)(12,29)(13,30)(14,31)(15,32)(16,25)(17,38)(18,39)(19,40)(20,33)(21,34)(22,35)(23,36)(24,37)(41,62)(42,63)(43,64)(44,57)(45,58)(46,59)(47,60)(48,61), (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48)(49,50,51,52,53,54,55,56)(57,58,59,60,61,62,63,64), (1,13)(3,15)(5,9)(7,11)(17,59)(18,39)(19,61)(20,33)(21,63)(22,35)(23,57)(24,37)(26,55)(28,49)(30,51)(32,53)(34,42)(36,44)(38,46)(40,48)(41,62)(43,64)(45,58)(47,60)>;
G:=Group( (1,59)(2,47)(3,61)(4,41)(5,63)(6,43)(7,57)(8,45)(9,34)(10,22)(11,36)(12,24)(13,38)(14,18)(15,40)(16,20)(17,30)(19,32)(21,26)(23,28)(25,33)(27,35)(29,37)(31,39)(42,55)(44,49)(46,51)(48,53)(50,58)(52,60)(54,62)(56,64), (1,9)(2,10)(3,11)(4,12)(5,13)(6,14)(7,15)(8,16)(17,42)(18,43)(19,44)(20,45)(21,46)(22,47)(23,48)(24,41)(25,50)(26,51)(27,52)(28,53)(29,54)(30,55)(31,56)(32,49)(33,58)(34,59)(35,60)(36,61)(37,62)(38,63)(39,64)(40,57), (1,51)(2,52)(3,53)(4,54)(5,55)(6,56)(7,49)(8,50)(9,26)(10,27)(11,28)(12,29)(13,30)(14,31)(15,32)(16,25)(17,38)(18,39)(19,40)(20,33)(21,34)(22,35)(23,36)(24,37)(41,62)(42,63)(43,64)(44,57)(45,58)(46,59)(47,60)(48,61), (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20,21,22,23,24)(25,26,27,28,29,30,31,32)(33,34,35,36,37,38,39,40)(41,42,43,44,45,46,47,48)(49,50,51,52,53,54,55,56)(57,58,59,60,61,62,63,64), (1,13)(3,15)(5,9)(7,11)(17,59)(18,39)(19,61)(20,33)(21,63)(22,35)(23,57)(24,37)(26,55)(28,49)(30,51)(32,53)(34,42)(36,44)(38,46)(40,48)(41,62)(43,64)(45,58)(47,60) );
G=PermutationGroup([[(1,59),(2,47),(3,61),(4,41),(5,63),(6,43),(7,57),(8,45),(9,34),(10,22),(11,36),(12,24),(13,38),(14,18),(15,40),(16,20),(17,30),(19,32),(21,26),(23,28),(25,33),(27,35),(29,37),(31,39),(42,55),(44,49),(46,51),(48,53),(50,58),(52,60),(54,62),(56,64)], [(1,9),(2,10),(3,11),(4,12),(5,13),(6,14),(7,15),(8,16),(17,42),(18,43),(19,44),(20,45),(21,46),(22,47),(23,48),(24,41),(25,50),(26,51),(27,52),(28,53),(29,54),(30,55),(31,56),(32,49),(33,58),(34,59),(35,60),(36,61),(37,62),(38,63),(39,64),(40,57)], [(1,51),(2,52),(3,53),(4,54),(5,55),(6,56),(7,49),(8,50),(9,26),(10,27),(11,28),(12,29),(13,30),(14,31),(15,32),(16,25),(17,38),(18,39),(19,40),(20,33),(21,34),(22,35),(23,36),(24,37),(41,62),(42,63),(43,64),(44,57),(45,58),(46,59),(47,60),(48,61)], [(1,2,3,4,5,6,7,8),(9,10,11,12,13,14,15,16),(17,18,19,20,21,22,23,24),(25,26,27,28,29,30,31,32),(33,34,35,36,37,38,39,40),(41,42,43,44,45,46,47,48),(49,50,51,52,53,54,55,56),(57,58,59,60,61,62,63,64)], [(1,13),(3,15),(5,9),(7,11),(17,59),(18,39),(19,61),(20,33),(21,63),(22,35),(23,57),(24,37),(26,55),(28,49),(30,51),(32,53),(34,42),(36,44),(38,46),(40,48),(41,62),(43,64),(45,58),(47,60)]])
56 conjugacy classes
| class | 1 | 2A | ··· | 2G | 2H | 2I | 2J | 2K | 2L | 2M | 4A | ··· | 4H | 4I | 4J | 4K | 4L | 4M | ··· | 4R | 8A | ··· | 8P | 8Q | ··· | 8X |
| order | 1 | 2 | ··· | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 4 | ··· | 4 | 4 | 4 | 4 | 4 | 4 | ··· | 4 | 8 | ··· | 8 | 8 | ··· | 8 |
| size | 1 | 1 | ··· | 1 | 2 | 2 | 2 | 2 | 4 | 4 | 1 | ··· | 1 | 2 | 2 | 2 | 2 | 4 | ··· | 4 | 2 | ··· | 2 | 4 | ··· | 4 |
56 irreducible representations
| dim | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 2 | 2 |
| type | + | + | + | + | + | + | + | |||||||
| image | C1 | C2 | C2 | C2 | C2 | C4 | C4 | C4 | C8 | D4 | D4 | C4○D4 | M4(2) | C8○D4 |
| kernel | C23.22M4(2) | C22.7C42 | C2×C22⋊C8 | C2×C4×D4 | C23×C8 | C2×C22⋊C4 | C2×C4⋊C4 | C22×D4 | C2×D4 | C2×C8 | C22×C4 | C2×C4 | C23 | C22 |
| # reps | 1 | 2 | 3 | 1 | 1 | 4 | 2 | 2 | 16 | 4 | 4 | 4 | 4 | 8 |
Matrix representation of C23.22M4(2) ►in GL5(𝔽17)
| 1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 0 | 1 | 0 |
| 16 | 0 | 0 | 0 | 0 |
| 0 | 16 | 0 | 0 | 0 |
| 0 | 0 | 16 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 0 | 1 |
| 1 | 0 | 0 | 0 | 0 |
| 0 | 16 | 0 | 0 | 0 |
| 0 | 0 | 16 | 0 | 0 |
| 0 | 0 | 0 | 16 | 0 |
| 0 | 0 | 0 | 0 | 16 |
| 8 | 0 | 0 | 0 | 0 |
| 0 | 8 | 0 | 0 | 0 |
| 0 | 0 | 9 | 0 | 0 |
| 0 | 0 | 0 | 0 | 9 |
| 0 | 0 | 0 | 8 | 0 |
| 16 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 16 | 0 | 0 |
| 0 | 0 | 0 | 16 | 0 |
| 0 | 0 | 0 | 0 | 1 |
G:=sub<GL(5,GF(17))| [1,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,1,0],[16,0,0,0,0,0,16,0,0,0,0,0,16,0,0,0,0,0,1,0,0,0,0,0,1],[1,0,0,0,0,0,16,0,0,0,0,0,16,0,0,0,0,0,16,0,0,0,0,0,16],[8,0,0,0,0,0,8,0,0,0,0,0,9,0,0,0,0,0,0,8,0,0,0,9,0],[16,0,0,0,0,0,1,0,0,0,0,0,16,0,0,0,0,0,16,0,0,0,0,0,1] >;
C23.22M4(2) in GAP, Magma, Sage, TeX
C_2^3._{22}M_4(2) % in TeX
G:=Group("C2^3.22M4(2)"); // GroupNames label
G:=SmallGroup(128,601);
// by ID
G=gap.SmallGroup(128,601);
# by ID
G:=PCGroup([7,-2,2,2,-2,2,2,-2,224,141,288,422,124]);
// Polycyclic
G:=Group<a,b,c,d,e|a^2=b^2=c^2=d^8=e^2=1,a*b=b*a,d*a*d^-1=e*a*e=a*c=c*a,b*c=c*b,b*d=d*b,b*e=e*b,c*d=d*c,c*e=e*c,e*d*e=b*d^5>;
// generators/relations